MIX(FL): A Kernel Language of Mixin Modules

نویسنده

Davide Ancona

چکیده

We deene a kernel language for the manipulation of mixin modules with the aim of providing foundations for the design of advanced module systems. Several working examples are presented showing the beneets of the use of mixins and overriding in module systems; moreover, a set of typing rules ensures that the language supports separate compilation. The denotational semantics of the language is based on an algebraic approach and is parametric in the semantics of the underlying core language. Hence, even though the language is deened on top of a speciic core language, other kinds of core languages could be considered.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Theory of Mixin Modules: Basic and Derived Operators

Mixins are modules in which some components are deferred, i.e. their deenition has to be provided by another module. Moreover, diierently from parameterized modules (like ML functors), mixin modules can be mutually dependent and their composition supports redeen-ition of components (overriding). In this paper, we present a formal model of mixins and their basic composition operators. These oper...

متن کامل

A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics

Received Mixins are modules which may contain deferred components, i.e. components not deened in the module itself; moreover, in contrast to parameterized modules (like ML functors), they can be mutually dependent and allow their deenitions to be overridden. In a preceding paper we have deened syntax and a categorical semantics of a kernel language of mixin modules. Here, we take instead an axi...

متن کامل

An Algebraic Approach to Mixins and Modularity

We present an algebraic formalization of the notion of mixin module, i.e. a module where the deenition of some components is deferred. Moreover, we deene a set of basic operators for composing mixin modules, intended to be a kernel language with clean semantics in which to express more complex operators of existing modular languages, including variants of inheritance in object oriented programm...

متن کامل

A Reduction Semantics for Call-by-value Mixin Modules

Mixin modules are a framework for modular programming that supports code parameterization, incremental programming via late binding and redefinitions, and cross-module recursion. In this paper, we develop a language of mixin modules that supports call-by-value evaluation, and formalize a reduction semantics and a sound type system for this language.

متن کامل